AProVE: Termination and Memory Safety of C Programs? (Competition Contribution) T. Str¨ oder, C. Aschermann, F. Frohn, J. Hensel, and J. Giesl RWTH Aachen University, Germany

Source URL: verify.rwth-aachen.de

• Data types
• Primitive types
• Termination analysis
• Pointer
• Memory safety
• Prolog
• Reference
• LLVM
• Algorithm
• Computing
• Software engineering
• Computer programming

JARA-BRAIN – Combined Expertise 2 3

Source URL: www.ukaachen.de

• Academia
• Science
• Neuroscience
• Jülich
• Clinical neuroscience
• Neurology
• Neurological disorder
• Walter Selke
• Forschungszentrum Jülich
• RWTH Aachen University
• Education

Sascha Glasl Dipl.-Ing. Arch. Address: K raanspoor 36, 1033SE Amsterdam Phone: 79 93 E-mail: Education

Source URL: www.spaceandmatter.nl

• Aachen
• RWTH Aachen University
• Geography of Germany

Replace this text with the title

Source URL: sednet.org

• Chemistry
• Academia
• Aachen
• RWTH Aachen University
• Education
• Polycyclic aromatic hydrocarbon
• Aromatic hydrocarbon
• Undergraduate Research Opportunities Program
• Astrochemistry
• Carcinogens
• Origin of life

Inferring Lower Bounds for Runtime Complexity∗ Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, and Thomas Ströder LuFG Informatik 2, RWTH Aachen University, Germany {florian.frohn,giesl,hensel,corneli

Source URL: verify.rwth-aachen.de

IEA Annex 60 Computational tools for building and community energy systems Christoph van Treeck1, Michael Wetter2 (Co-operating Agents)

Source URL: www.iea-ebc.org

• Software engineering
• Object-oriented programming
• Scientific modeling
• Modelica
• Dymola
• Building information modeling
• RWTH Aachen University
• Model-based design
• Agent-based model
• Application software
• Computing
• Simulation software

AACHEN INTERNATIONAL MINING SYMPOSIA AIMS 2015 FIFTH INTERNATIONAL SYMPOSIUM MINERAL RESOURCES

Source URL: www.aims.rwth-aachen.de

• Technology
• Coal mining
• Longwall mining
• Mining engineering
• RWTH Aachen University
• Surface mining
• Tailings
• Abdul Ghani Pathan
• Underground mining
• Mining
• Environmental issues with mining

Studienbeschreibung_en-2013

Source URL: www.grs-sim.de

• Academia
• Technology
• Education
• Forschungszentrum Jülich
• University of Girona
• Aachen
• RWTH Aachen University
• Simulation

Logical Multidimensional Database Design for Ragged and Unbalanced Aggregation Hierarchies Tapio Niemi Department of Computer and Information Sciences, University of Tampere FINUniversity of Tampere,

Source URL: sunsite.informatik.rwth-aachen.de

• Information technology management
• Online analytical processing
• Data
• Data warehousing
• Complexity classes
• Functional dependency
• Hierarchy
• Relational model
• OLAP cube
• Data management
• Data modeling
• Database constraints

Towards Data Warehouse Quality Metrics Coral Calero ALARCOS Research Group University of Castilla-La Mancha (Spain) Rda. Calatrava s/nCiudad Real - Spain

Source URL: sunsite.informatik.rwth-aachen.de

• Data modeling
• Information
• Software metrics
• Fact table
• Star schema
• Software quality
• Data model
• Data quality
• STING
• Data warehousing
• Information technology management
• Data management